Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
491	The Jessie plugin for Deductive Verification in Frama-C Tutorial and Reference Manual Version 2.34 Add to Reading List Source URL: krakatoa.lri.fr Language: English - Date: 2014-03-17 18:14:41 Procedural programming languages Data types Frama-C Pointer C Array data type D ALGOL 68 Memory safety Computing Software engineering Computer programming
492	People have access to an incredible variety of interactive games, stories, animations, simulations, and other types of dynamic, interactive media on their computers today. But, for the most part, these programs are a one Add to Reading List Source URL: info.scratch.mit.edu Language: English - Date: 2009-11-03 12:44:14 Application software Software engineering Visual programming languages Computing Scratch
493	C Programming Style Paul Krzyzanowski Introduction The past several years of teaching computer science courses to classes consisting largely of juniors, seniors, and graduate students have forced me to look at hundreds o Add to Reading List Source URL: os24.org Language: English - Date: 2000-04-29 11:04:12 Procedural programming languages Data types Cross-platform software Source code C Pointer Fortran Subroutine Main function Software engineering Computing Computer programming
494	Standard nonstandard evaluation rules Thomas Lumley March 19, 2003 This document is designed to clarify the various evaluation rules for function arguments in R and to make some suggestions for new code. The descriptions Add to Reading List Source URL: developer.r-project.org Language: English - Date: 2012-10-11 14:37:25 Subroutines Lambda calculus Functional programming Data types Procedural programming languages Eval Function Parameter Lisp Software engineering Computing Computer programming
495	comp.lang.vhdl Frequently Asked Questions And Answers (Part 4): VHDL Glossary Preliminary Remarks This part of the FAQ is reprinted from IEEE Std[removed]IEEE Standard VHDL Language Reference Manual, Copyright © 1994 Add to Reading List Source URL: vhdl.org Language: English - Date: 2004-12-09 12:24:03 Type theory Computer programming Hardware description languages C++ VHDL Object-oriented programming EXPRESS Verilog Variable Software engineering Computing Data types
496	Notes on Programming in C Rob Pike Introduction Kernighan and Plauger’s The Elements of Programming Style was an important and rightly influential book. But sometimes I feel its concise rules were taken as a cookbook a Add to Reading List Source URL: os24.org Language: English - Date: 2014-02-11 07:54:36 Data types Procedural programming languages C++ Primitive types Subroutines Pointer C Linked list Stack Software engineering Computing Computer programming
497	Types and Hardware Description Languages. Tim Sheard February 16, 2007 Abstract Hardware description systems could beneﬁt from advances in programming language design. Recent research, in the area of rich type systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2007-02-16 18:28:43 Boolean algebra Procedural programming languages Data types Binary arithmetic Bitwise operation Cons ALGOL 68 Factorial Exclusive or Software engineering Mathematics Computing
498	Instructions for asmlib A multi-platform library of highly optimized functions for C and C++. By Agner Fog. Technical University of Denmark Version[removed] © [removed]GNU General Public License Add to Reading List Source URL: www.agner.org Language: English - Date: 2013-12-18 02:33:11 C++ String Data types Cross-platform software Primitive types Comparison of programming languages C string handling C Write Computing Computer programming Software engineering
499	Once, Weakly: Type Structures Type Structures This installment discusses the concept of “type-structures” as a compile-time analog of runtime data structures, and demonstrates how to construct and manipulate simple l Add to Reading List Source URL: www.semantics.org Language: English - Date: 2013-04-08 13:05:06 C++ C programming language Data types Type theory Procedural programming languages Typedef Struct C Typename Software engineering Computing Computer programming
500	Language support for reusable associations and static aspects in mainstream OO languages (a proposal) Jiri Soukup, Code Farms Inc. (codefarms.com), Martin Soukup, Nortel ([removed]), February 2, 2009 Add to Reading List Source URL: www.codefarms.com Language: English - Date: 2009-10-20 00:14:21 Cross-platform software Object-oriented programming Data types C++ Java programming language Class Design Patterns Java Iterator Computing Software engineering Computer programming

UPDATE